We explore the developmental paradox of false belief understanding. This paradox follows from the claim that young infants already have an understanding of false belief, despite the fact that they consistently fail the elicited-response false belief task. First, we argue that recent proposals to solve this paradox are unsatisfactory because they (i) try to give a full explanation of false belief understanding in terms of a single system, (ii) fail to provide psychological concepts that are sufficiently fine-grained to capture the (...) cognitive requirements for the various manifestations of false belief understanding, and (iii) ignore questions about system interaction. Second, we present a dual-system solution to the developmental paradox of false belief understanding that combines a layered model of perspective taking with an inhibition-selection-representation mechanism that operates on different levels. We discuss recent experimental findings that shed light on the interaction between these two systems, and suggest a number of directions for future research. (shrink)

Any theory of information needs to comply with what we call the implementation, formalization, and representation constraints. These constraints are justified by basic considerations concerning scientific modelling and methodology. In the first part of this paper, we argue that the implementation and formalization constraints cannot be satisfied because the relation between Shannon information and IIT must be clarified. In the second part of the paper, we focus on the representation constraint. We argue that IIT cannot succeed in satisfying this constraint (...) for semantic contents without offering models for concepts, conceptual roles, and context sensitivity. In the final part of the paper, further complications are raised with respect to the distinction between consciousness and attention, which apply more specifically to the representation constraint. We conclude with some recommendations as to how IIT may succeed in solving these problems, highlighting the advantages and enormous potential of IIT as a scientific theory. (shrink)

An analysis of the extension of the Hawking-Penrose singularity theorem to Riemann-Cartan U4 space-times with torsion and spin density is undertaken. The minimal coupling principle in U4 is used to formulate a new expression for the convergence condition autoparallels in Einstein-Cartan theory. The Gödel model with torsion is given as an example.

Form nor content: Rachel Cusk’s empty self In this article I discuss Richard Rorty’s ideal of narrative self-creation in relation to Rachel Cusk's trilogy Outline (2014), Transit (2016) and Kudos (2018). I will focus in particular on the tension between individual freedom and the weight of social relationships. I will show that we can discern a modest ideal of narrative self-creation in Cusk's trilogy that is not just linguistic in nature, but stresses the relational and intersubjective dimension of self-creation. Moreover, (...) Cusk's ideal is explicitly articulated from a female perspective. The emphasis is here on the fundamental interdependence and vulnerability of the self, and on the scaffolding yet also constraining influence of social relationships. (shrink)

We present the system SUBSEXPL used for simulating and comparing explicit substitutions calculi. The system allows the manipulation of expressions of the λ-calculus and of three different styles of explicit substitutions: the λσ, the λse and the suspension calculus. A variation of the suspension calculus, which allows for combination of steps of β-contraction is included too. Implementations of the η-reduction are provided for each style. Other explicit substitutions calculi can be easily incorporated into the system due to its modular structure. (...) The uses of the system include: the visualization of the contractions of the λ-calculus in de Bruijn notation, and of guided one-step reductions as well as normalization via each of the associated substitution calculi. Many useful facilities are included: reductions can be easily recorded as text files, LATEX outputs can be generated and several examples for dealing with arithmetic operations and computational operators such as conditionals and repetitions in the λ-calculus are available. The system can be executed over Emacs using the x-symbol mode in such a way that λ-terms and terms of the explicit substitutions calculi are represented in its natural syntax avoiding the necessity of repeatedly generating LATEX outputs. The system has been of great help for systematically comparing explicit substitutions calculi, as well as for understanding properties of explicit substitutions such as the Preservation of Strong Normalization. In addition, it has been used for teaching basic properties of the λ-calculus such as: computational adequacy, the usefulness of de Bruijn's notation and of making explicit substitutions in real implementations. (shrink)

Our goal was to explore self‐care practices among men who have sex with men in the context of Mpox in Brazil. This study used qualitative research methods, including interviews and thematic analysis, to collect and analyze data from male participants across the Brazilian territory. The narratives unveil men's perspectives on self‐care, risk reduction, and health beliefs during the Mpox pandemic. Our findings highlight a multifaceted approach to self‐care among men, encompassing hygiene, physical contact management, mask usage, skin lesion vigilance, and (...) adherence to official guidelines. Men's attitudes toward sexual behaviors emphasize the importance of reducing sexual partners, practicing safe sex, and combating misinformation through accurate information dissemination. The development of these behaviors and self‐care practices can be facilitated by nurses guided by Dorothea Orem's Self‐Care Theory, supported by patient‐centered care, with strategies to address and confront the stigma associated with the disease and provide emotional support. Thus, the study underscores the pivotal role of self‐care in mitigating infection risks, especially in the context of emerging infectious diseases. It acknowledges the impact of socio‐cultural factors and healthcare policies on men's preventive measures. However, it also recognizes limitations, such as potential bias due to stigma concerns and a nonrepresentative sample. Ultimately, the research advocates for tailored education, promotion of gender equity, and healthcare empowerment to effectively manage health risks in such contexts. (shrink)

The past decade has seen an explosion of work on calculi of explicit substitutions. Numerous works have illustrated the usefulness of these calculi for practical notions like the implementation of typed functional programming languages and higher order proof assistants. It has also been shown that eta-reduction is useful for adapting substitution calculi for practical problems like higher order unification. This paper concentrates on rewrite rules for eta-reduction in three different styles of explicit substitution calculi: λσ, λse and the suspension calculus. (...) Both λσ and λse when extended with eta-reduction rules, have proved useful for solving higher order unification. We enlarge the suspension calculus with an adequate eta-reduction rule which we show to preserve termination and confluence of the associated substitution calculus and to correspond to the eta rules of the other two calculi. We prove that λσ and λse as well as λσ and the suspension calculus are non-comparable while λse is more adequate than the suspension calculus in simulating one-step beta-reduction. After defining the eta-reduction rule in the suspension calculus, and after comparing these three calculi of explicit substitutions , we then concentrate on the implementation of the rewrite rules of eta-reduction in these calculi. We note that it is usual practice when implementing the eta rule for substitution calculi, to mix isolated applications of eta-reduction with the application of other rules of the corresponding substitution calculi. The main disadvantage of this practice is that the eta rewrite rules so obtained are unclean because they have an operational semantics different from that of the eta-reduction of the λ-calculus. For the three calculi in question enlarged with adequate eta rules we show how to implement these eta rules. For the λse we build a clean implementation of the eta rule and we prove that it is not possible to follow the same approach for the λσ and λsusp. (shrink)

Recent policy developments in the area of livestock husbandry have suggested that, from the perspective of optimizing animal welfare, new animal husbandry systems should be developed that provide opportunities for livestock animals to be raised in environments where they are permitted to engage in “natural behavior.” It is not known whether consumers regard animal husbandry issues as important, and whether they differentiate between animal husbandry and other animal welfare issues. The responsibility for the development of such systems is allocated jointly (...) between farmers, regulators, different actors in the food chain, and consumers. This research focuses on understanding consumer attitudes and preferences regarding the development and introduction of such systems, to ensure that they are acceptable to consumers as well as producers, regulators, and scientists. Consumer perceptions of animal welfare and animal husbandry practices were evaluated using quantitative consumer survey, which focused on two animal husbandry issues – farmed pigs and farmed fish. Following pilot work, 1000 representative Dutch consumers were sampled about their attitudes to either pig or fish husbandry. The results indicated that consumers think about animal welfare in terms of two broad categories related to their health and living environment, but do not think about welfare issues at a more detailed level. Greater concern was expressed about the welfare of pigs compared to fish. Consumer trust in labeling also emerged as an important issue, since consumers need to trust different food chain actors with responsibility for promoting animal welfare, and are reluctant to consider the details of animal husbandry systems. As a consequence, a transparent, enforceable, and traceable monitoring system for animal welfare friendly products is likely to be important for consumers. (shrink)

BackgroundAs moral case deliberations (MCDs) have increasingly been implemented in health care institutions as a form of ethics support, it is relevant to know whether and how MCDs actually contribute to positive changes in care. Insight is needed on what actually happens in daily care practice following MCD sessions. This study aimed at investigating the impact of MCD and exploring how ‘impact of MCD’ should be conceptualized for future research.MethodsA multiple-case study was conducted in a care organization for people with (...) intellectual disabilities and/or acquired brain injury, by observing MCD sessions as ‘cases’, followed by interviews with health care professionals concerning the follow-up to these cases, and a focus group with involved MCD facilitators. A conceptual scheme concerning the possible impact formed the basis for analysis: (1) individual moral awareness; (2) the actions of health care professionals; (3) collaboration among health care professionals; (4) the concrete situation of the client; (5) the client’s quality of care and life; (6) the organizational and policy level.ResultsAccording to interviewees, their moral awareness and their collaboration, both among colleagues and with clients’ relatives, improved after MCD. Perceived impact on client situation, quality of care/life and the organizational level varied among interviewees or was difficult to define or link to MCD. Three aspects were added to the conceptual scheme concerning the impact of MCD: (a) preparations and expectations prior to the MCD session; (b) a translational step between the conclusions of the MCD session and practical events in the following period, and (c) collaboration with clients’ relatives. A negative impact of MCD was also found on misunderstandings among participants and disappointment about lack of follow-up.ConclusionsConcretizing and conceptualizing the ‘impact’ of MCD is complicated as many factors play a role either before or during the transition from MCD to practice. It is important to consider ‘impact’ in a broad sense and to relate it to the goals and context of the MCD in question. Future studies in this field should pay additional attention to the preparations, content and process involved in ethics support, including clients’ and relatives’ experiences. (shrink)

‘Ein vÖllig unverständliches Wortspiel’, said Friedlander. There have been many attempts to solve the riddle. The older commentators, following Domizio Calderini, offered a fantastic solution: Athenagoras was a doctor specializing in leprosy : ‘porro ducta uxore coepit lingere cunnum…unde factus est olficius, hoc est olfacit cunnum’! H. C. Schnur emended to Olbius : Albius Athenagoras , by marrying a rich wife, became Olbius. This explanation deprives the name ‘Albius’ of any point; nor is it particularly witty to say that Albius (...) married money. The most popular solution points to the biblical γ εμι τ Ἄλφα κα τ 'Σ [sc. πρτος κα σ×ατος] it can be shown with some plausibility that the expression was known to the Romans of Martial's time – and to Martial's phrases ‘alpha paenulatorum’ and ‘beta togatorum’ . Before marriage Athenagoras was A in his house; now he is last, in other words, henpecked. ‘Paenulatorum’ and ‘togatorum’, however, give ‘alpha’ and ‘beta’ a context which plain Alphius and Olphius do not possess. Moreover, in all the other passages which scholars quote in support of the A–Σ hypothesis,9 a letter of the alphabet becomes a byname for an individual, and is not incorporated in another name, as would be the case with Alphius and Σlphius. The presence of two names points to an etymological, not alphabetical, jeu des mots. (shrink)

Current UK legislation is impacting upon the feasibility and cost-effectiveness of medical record-based research aimed at benefiting the NHS and the public heath. Whereas previous commentators have focused on the Data Protection Act 1998, the Health and Social Care Act 2001 is the key legislation for public health researchers wishing to access medical records without written consent. The Act requires researchers to apply to the Patient Information Advisory Group for permission to access medical records without written permission. We present a (...) case study of the work required to obtain the necessary permissions from PIAG in order to conduct a large scale public health research project. In our experience it took eight months to receive permission to access basic identifying information on individuals registered at general practices, and a decision on whether we could access clinical information in medical records without consent took 18 months. Such delays pose near insurmountable difficulties to grant funded research, and in our case £560 000 of public and charitable money was spent on research staff while a large part of their work was prohibited until the third year of a three year grant. We conclude by arguing that many of the current problems could be avoided by returning PIAG’s responsibilities to research ethics committees, and by allowing “opt-out” consent for many public health research projects. (shrink)